Homomorphism Preservation in the Finite for Many-Valued Logics
Date:
Presentation on extension of Rossman's proof of a classical finite homomorphism preservation theorem to a wide collection of many-valued predicate logics. Also presented at AAL 2023, TACL 2024.